Arithmetic, Proof Theory, and Computational Complexity: 23 (Oxford Logic Guides)
by Clote,Krajicek,Peter Clote
ISBN 13: 9780198536901
Format: Hardcover (444 pages) Publisher: OUP Oxford Published: 06 May 1993
Save for later
Boolean Functions and Computation Models (Texts in Theoretical Computer Science. An EATCS Series)
by Peter Clote,Evangelos Kranakis
ISBN 13: 9783642082177
Format: Paperback (620 pages) Publisher: Springer Berlin Heidelberg Published: 19 Sep 2002